# Copyright 2021 The Pigweed Authors
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.

load("@rules_cc//cc:cc_library.bzl", "cc_library")
load("@rules_python//sphinxdocs:sphinx_docs_library.bzl", "sphinx_docs_library")
load("//pw_build:compatibility.bzl", "incompatible_with_mcu")

package(default_visibility = ["//visibility:public"])

licenses(["notice"])

cc_library(
    name = "binary_semaphore",
    srcs = [
        "binary_semaphore.cc",
    ],
    hdrs = [
        "public/pw_sync_embos/binary_semaphore_inline.h",
        "public/pw_sync_embos/binary_semaphore_native.h",
        "public_overrides/pw_sync_backend/binary_semaphore_inline.h",
        "public_overrides/pw_sync_backend/binary_semaphore_native.h",
    ],
    implementation_deps = ["//pw_assert:check"],
    includes = [
        "public",
        "public_overrides",
    ],
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
    # TODO: b/234876414 - This should depend on embOS but our third parties
    # currently do not have Bazel support.
    deps = [
        "//pw_assert:assert",
        "//pw_chrono:system_clock",
        "//pw_interrupt:context",
        "//pw_sync:binary_semaphore.facade",
    ],
)

cc_library(
    name = "counting_semaphore",
    srcs = [
        "counting_semaphore.cc",
    ],
    hdrs = [
        "public/pw_sync_embos/counting_semaphore_inline.h",
        "public/pw_sync_embos/counting_semaphore_native.h",
        "public_overrides/pw_sync_backend/counting_semaphore_inline.h",
        "public_overrides/pw_sync_backend/counting_semaphore_native.h",
    ],
    implementation_deps = ["//pw_assert:check"],
    includes = [
        "public",
        "public_overrides",
    ],
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
    # TODO: b/234876414 - This should depend on embOS but our third parties
    # currently do not have Bazel support.
    deps = [
        "//pw_assert:assert",
        "//pw_chrono:system_clock",
        "//pw_interrupt:context",
        "//pw_sync:counting_semaphore.facade",
    ],
)

cc_library(
    name = "mutex",
    hdrs = [
        "public/pw_sync_embos/mutex_inline.h",
        "public/pw_sync_embos/mutex_native.h",
        "public_overrides/pw_sync_backend/mutex_inline.h",
        "public_overrides/pw_sync_backend/mutex_native.h",
    ],
    includes = [
        "public",
        "public_overrides",
    ],
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
    # TODO: b/234876414 - This should depend on embOS but our third parties
    # currently do not have Bazel support.
    deps = [
        ":mutex_headers",
        "//pw_assert:assert",
        "//pw_sync:mutex.facade",
    ],
)

cc_library(
    name = "timed_mutex",
    srcs = [
        "timed_mutex.cc",
    ],
    hdrs = [
        "public/pw_sync_embos/timed_mutex_inline.h",
        "public_overrides/pw_sync_backend/timed_mutex_inline.h",
    ],
    implementation_deps = ["//pw_assert:check"],
    includes = [
        "public",
        "public_overrides",
    ],
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
    # TODO: b/234876414 - This should depend on embOS but our third parties
    # currently do not have Bazel support.
    deps = [
        "//pw_chrono:system_clock",
        "//pw_interrupt:context",
        "//pw_sync:timed_mutex.facade",
    ],
)

cc_library(
    name = "interrupt_spin_lock_headers",
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
)

cc_library(
    name = "interrupt_spin_lock",
    srcs = [
        "interrupt_spin_lock.cc",
    ],
    hdrs = [
        "public/pw_sync_embos/interrupt_spin_lock_inline.h",
        "public/pw_sync_embos/interrupt_spin_lock_native.h",
        "public_overrides/pw_sync_backend/interrupt_spin_lock_inline.h",
        "public_overrides/pw_sync_backend/interrupt_spin_lock_native.h",
    ],
    implementation_deps = ["//pw_assert:check"],
    includes = [
        "public",
        "public_overrides",
    ],
    target_compatible_with = [
        "//pw_build/constraints/rtos:embos",
    ],
    # TODO: b/234876414 - This should depend on embOS but our third parties
    # currently do not have Bazel support.
    deps = [
        "//pw_sync:interrupt_spin_lock.facade",
    ],
)

sphinx_docs_library(
    name = "docs",
    srcs = [
        "docs.rst",
    ],
    prefix = "pw_sync_embos/",
    target_compatible_with = incompatible_with_mcu(),
)
